Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Michael Rusinowitch »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Michael Rosemann < Michael Rusinowitch < Michael S. Kiernan  Facettes :

List of bibliographic references indexed by Michael Rusinowitch

Number of relevant bibliographic references: 121.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000061 (2016-02-26) Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
000231 (2015-11-16) Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata
000420 (2015-08-01) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Parametrized automata simulation and application to service composition
000780 (2015) Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Model‐based mutation testing from security protocols in HLPSL
000818 (2014-12-24) Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Practical access control management for distributed collaborative editors
000888 (2014-11-03) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]A Maximum Variance Approach for Graph Anonymization
000A04 (2014-08-05) Walid Belkhir [France] ; Gisela Rossi [France] ; Michael Rusinowitch [France]A Parametrized Propositional Dynamic Logic with Application to Service Synthesis
000C34 (2014-04) Ghazi Maatoug [France] ; Frédéric Dadeau [France] ; Michael Rusinowitch [France]Model-Based Vulnerability Testing of Payment Protocol Implementations
000C69 (2014-02-25) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Enforcing Privacy in Decentralized Mobile Social Networks
000F28 (2013-11-21) Michael Rusinowitch [France]Automated verification of security protocols and application to services
000F63 (2013-10-25) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Guarded Variable Automata over Infinite Alphabets
000F96 (2013-10-09) Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]SVMAX: a system for secure and valid manipulation of XML data
001015 (2013-09-22) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Fresh-Variable Automata for Service Composition
001260 (2013-04-02) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001262 (2013-04-01) Abdessamad Imine [France] ; Michael Rusinowitch [France]Secure Collaboration for Smartphones
001499 (2013) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001799 (2012-12-15) Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Compiling symbolic attacks to protocol implementation tests
001893 (2012-10-17) Tigran Avanesov [Luxembourg (pays)] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Towards the Orchestration of Secured Services under Non-disclosure Policies.
001A56 (2012-06-26) Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Synchronous Distributivity
001C64 (2012) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]String rewriting and security analysis: an extension of a result of Book and Otto
002123 (2011-09-15) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France]Web Services Verification and Prudent Implementation

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Michael Rusinowitch" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Michael Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Michael Rusinowitch
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022